consequent reasoning

=backward reasoning